//
// phpGetFileContents(theFilePath)
//
// Returns the contents of the file or FALSE. Requires SmartPill PHP plugin.
//
Let (
	[
		$theFilePath = theFilePath;

		phpCode = "error_reporting(0); //E_ALL & ~E_NOTICE);¶
		¶
		echo file_get_contents(fm_evaluate('$theFilePath'));¶
	  ";
		result = PHP_Execute(phpCode)
	] ;
	result
)